Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer International Publishing 2017 Utgivningsland okänt / Ej specificerat